5

Implementing a modal dependent type theory

Year:
2019
Language:
english
File:
PDF, 516 KB
english, 2019